Functional Safety - PDFSEARCH.IO - Document Search Engine

Functional Safety
Results: 882

#	Item
91	AMOG_Engineeringsolutions_whitebackground_CMYK Add to Reading List Source URL: www.eeaust.com.au Language: English Reliability engineering Security Systems engineering Functional Safety Hazard and operability study System safety Hazard analysis ARP4761 Hazard identification Safety engineering Safety Risk
92	Mining opportunities for unique inhabitants in dependent programs Gabriel Scherer, PhD student, Gallium (INRIA Paris-Rocquencourt) 1 Research Background Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2013-09-23 11:30:06 Type theory Functional languages Dependent type Type system Type inference Coq Programming language Agda Type safety Programming language theory Software engineering Computing
93	Planning and managing the safety lifecycle for Defence StandardIssue 4 10th-12th July 2012, London Add to Reading List Source URL: www.adelard.com Language: English - Date: 2015-03-27 11:50:03 Hazard analysis ALARP System safety Functional Safety Software system safety Safety Security Prevention
94	OpinionDescription: Opinion Add to Reading List Source URL: www.easa.europa.eu Language: English - Date: 2015-05-30 00:07:44 Europe United States administrative law Administrative law European Aviation Safety Agency Single European Sky Rulemaking National aviation authority Air traffic control Functional Airspace Block Transport European Union Civil aviation authorities
95	Σχέδια ευρωπαϊκών τυποποιητικών εγγράφων σε Δημόσια Κρίση Κωδικός σχεδίου Τομεακή Επιτροπή: Add to Reading List Source URL: www.elot.gr Language: English - Date: 2015-04-27 05:23:34 Film speed Science of photography Functional Safety
96	Well-typed programs can’t be blamed Philip Wadler Robert Bruce Findler University of Edinburgh Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2012-08-10 19:25:44 Mathematics Subtype polymorphism Type system Lambda calculus Typed lambda calculus Type safety Valuation Entailment Holomorphic functional calculus Type theory Theoretical computer science Logic
97	Astrée Proving the Absence of Runtime Errors AbsInt GmbH 2012 Add to Reading List Source URL: www.absint.com Language: English - Date: 2012-04-23 04:44:53 Software Avionics Embedded systems Software testing DO-178B Astrée Functional Safety DO-178C Software development process Software development Safety Software requirements
98	DESIGN VERIFICATION METHODOLOGY FOR SAFETY INSTRUMENTED SYSTEMS USED IN DOE NONREACTOR NUCLEAR FACILITIES Pranab K. Guha Office of Nuclear Safety Basis & Facility Design Office of Nuclear Safety Office of Environment, He Add to Reading List Source URL: www.efcog.org Language: English - Date: 2015-02-05 22:59:35 Risk Safety instrumented system Safety Integrity Level Functional Safety Reliability engineering SIL Silicon Integrated Systems Sis Redundancy Safety Security Prevention
99	Fact Sheet Alerting the Whole Community - People with Disabilities and Others with Access and Functional Needs BACKGROUND • Traditionally, mass media used to alert and warn the American public has not incorporated the Add to Reading List Source URL: s3-us-gov-west-1.amazonaws.com Language: English - Date: 2014-07-31 15:17:44 Management Disaster preparedness Integrated Public Alert and Warning System Common Alerting Protocol Disability Federal Emergency Management Agency Alert messaging Emergency management Public safety Emergency Alert System
100	Sage: Hybrid Checking for Flexible Specifications Jessica Gronski† Kenneth Knowles† † Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2012-08-10 19:25:18 Type theory Data types Functional languages Object-oriented programming Procedural programming languages Type system Type safety Subtype polymorphism Polymorphism Software engineering Computing Programming language theory

UPDATE